sequent 計算
推件計算。sequent calculus
シークエント計算 - Wikipedia
sequent calculus in nLab
sequent (推件式)
シークエント - Wikipedia
sequent in nLab